- 部分正确性
- partial: adj. 1.一部分的，局部的，不完全的。 2.不公平的 ...
- partial correctness proof: 部分正确性证明
- correctness: 正确度; 正确性; 正确与否; 准确度; 准确和正确
- absolute correctness: 绝对正确性
- correctness argument: 正确性论据
下载手机词典可随时随地查词查翻译
partial correctness中文什么意思
- 部分正确性
下载手机词典可随时随地查词查翻译
例句与用法
- It extracts process information from the proof tree by analyzing every node of resolution proof tree to extract procedure . and the partial correctness of the extracted procedure is proved
这一方法的特点是，抽取算法的时间、空间复杂度都是线性的，并且抽取算法本身十分简单，易于实现。